A conformance relation for model-based testing of PLC
نویسندگان
چکیده
منابع مشابه
A Conformance Relation for Model-Based Testing of PLC
This paper focuses on the execution of conformance testing of PLC with I/O scanning which executes a control code; it is assumed that the test sequence has been built from a finite state machine that represents the specified behavior. It is first shown that the conformance relation which allows to decide whether the implementation conforms to the specification or not must be defined from a sequ...
متن کاملTesting for a Conformance Relation Based on Acceptance
Although the object-oriented paradigm has been gaining wide popularity in recent years, little work has been done on how to test objectoriented software systems. We believe that many special programming features found in the object-oriented paradigm will also play important roles during the testing phase. In this paper, we propose a conformance testing method for object-oriented software system...
متن کاملModel-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and difficult to validate. We present a substantial case study performed with the model-based testing tool HOL-TestGen. Based on a formal model of firewalls and their policies in higher-order logic (HOL), we first present a d...
متن کاملModel-Based Conformance Testing for Android
With the surging computing power and network connectivity of smartphones, more third-party applications and services are deployed on these platforms and enable users to customize their mobile devices. Due to the lack of rigorous security analysis, fast evolving smartphone platforms, however, have suffered from a large number of system vulnerabilities and security flaws. In this paper, we presen...
متن کاملModel-Based Conformance Testing for Implantable Pacemakers
Between 1990 and 2000, over 600,000 implantable cardiac pacemakers and cardioverter defibrillators were recalled. 41% of these devices were recalled due to device software issues. Software-related recalls are increasing with the growing complexity of medical device software, which is responsible for the life-critical operation with the organ. Currently, there are no formal methods to test and v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2014
ISSN: 1474-6670
DOI: 10.3182/20140514-3-fr-4046.00125